Merge branch 'label-double-focus' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 10 Apr 2020 01:34:49 +0000 (01:34 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 10 Apr 2020 01:34:49 +0000 (01:34 +0000)
Avoid double focus in labels

Closes #135

See merge request GNOME/gtk!1656


Trivial merge